Nuprl Definition : w-kind
0,22
postcript
pdf
kind(
a
) == 1of(outr(
a
))
latex
clarification:
w-kind(
w
;
a
) == 1of(outr(
a
))
latex
Definitions
outr(
x
)
,
1of(
t
)
FDL editor aliases
w-kind
origin